// KonstantD.java
// Jeremy Singer
// 8 Sep 11

/*
 * Constant K_d - parameter to PID controller
 * > Just to clarify - the integer input will be divided by ten thousand to get the desired k_p value.
 */

package org.mmtk.utility.options;

public final class KonstantD extends org.vmutil.options.IntOption {

  /**
   * Create the option.
   */
  public KonstantD() {
    super(Options.set, "KonstantD",
          "Value of the K_d parameter for the PID controller for heap resizing",
          0);
  }

  /**
   * Only accept non-negative values
   */
  protected void validate() {
    failIf(this.value < 0, "Must be non-negative");
  }
}
